R1  R2 == R2 => R1 

latex

---

clarification:

rel_rev_implies(T;R1;R2) == rel_implies(T;R2;R1) 

latex

Definitions	R1 => R2
FDL editor aliases	rel_rev_implies